Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility
arxiv.org·14h
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·7h
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·7h
Dealing with alternatives
jemarch.net·1d
Introducing Names: practical namespaces for Emacs-Lisp
endlessparentheses.com·5h
FlashAttention 4: Faster, Memory-Efficient Attention for LLMs
digitalocean.com·7h
Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types
arxiv.org·2d
Subterms Modulo Theories I
philipzucker.com·2d
Loading...Loading more...